Computational topology - PDFSEARCH.IO - Document Search Engine

Computational topology
Results: 160

#	Item
51	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-08 10:04:52 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology
52	16th Canadian Conference on Computational Geometry, 2004 Precise Flattening of Cubic B´ezier Segments Thomas F. Hain Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-08-23 15:27:23 General topology Metric geometry Curves Interpolation Geometry Topology Space
53	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-03 08:24:08 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology
54	CCCG 2010, Winnipeg MB, August 9–11, 2010 Existence of zone diagrams in compact subsets of uniformly convex spaces Eva Kopeck´ a∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:14 Banach spaces Computational geometry Discrete geometry Metric geometry Voronoi diagram Schauder fixed point theorem Metric space Compact space Complete metric space Mathematics Topology Geometry
55	LNCSSpecifying Compositional Units for Correct Program Development in Computational Logic Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-06-15 05:19:36 Mathematical logic Functions and mappings Metalogic Differential topology Interpretation Structure Function Embedding Sheaf Mathematics Model theory Topology
56	16th Canadian Conference on Computational Geometry, 2004 Simplicial Depth: An Improved Definition, Analysis, and Efficiency for the Finite Sample Case Michael A. Burr Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-08-23 15:27:23 Algebraic topology Polytopes Geometric group theory Simplex Out Triangulation Simplicial complex Simplicial set Geometry Abstract algebra Topology
57	A computational approach to stability problems Robert J. MacG. Dawson Dept. of Mathematics and Computing Science Saint Mary’s University Halifax, Nova Scotia Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2003-06-20 16:01:11 Polytopes Abstract algebra Linear algebra Polyhedra Simplex Topology Facet Euclidean vector Vector space Algebra Geometry Mathematics
58	CCCG 2011, Toronto ON, August 10–12, 2011 Approximating Geodesic Distances on 2-Manifolds in R3 Christian Scheffer∗ Abstract Add to Reading List Source URL: 2011.cccg.ca Language: English - Date: 2011-08-06 04:11:16 Computational geometry Mathematics Geodesic Differential geometry of surfaces Tangent space Voronoi diagram Isomap Differential geometry Differential topology Geometry
59	PHYSICAL REVIEW X 2, Loops and Self-Reference in the Construction of Dictionaries David Levary,1,2 Jean-Pierre Eckmann,3 Elisha Moses,2 and Tsvi Tlusty2,4 1 Add to Reading List Source URL: www.weizmann.ac.il Language: English - Date: 2012-10-02 18:51:22 Knowledge representation Computational linguistics Semantics Semantic network WordNet Graph Topology Word-sense disambiguation Dictionary Linguistics Graph theory Science
60	16th Canadian Conference on Computational Geometry, 2004 Making Contour Trees Subdomain-Aware Nathanael Berglund and Andrzej Szymczak Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-08-23 15:27:23 Reeb graph Euler characteristic Manifold Connected space Topology Graph theory Mathematics